6.59/7.36	unsat
