12.69/12.74	unsat
