12.67/12.91	unsat
