8.59/10.73	unsat
