5.16/6.59	unsat
