12.67/12.78	unsat
