10.67/12.49	unsat
