4.17/6.59	unsat
