7.59/11.57	unsat
