10.61/12.99	unsat
