8.17/10.71	unsat
