10.59/10.65	unsat
