12.67/12.75	unsat
