11.88/12.99	unsat
