6.52/6.59	unsat
