6.48/6.59	unsat
