12.67/12.70	unsat
