5.18/6.59	unsat
