12.69/12.78	unsat
