12.67/12.82	unsat
