8.03/10.71	unsat
