9.97/12.71	unsat
