4.64/6.59	unsat
