12.85/12.90	unsat
