4.70/6.79	unsat
