12.49/12.71	unsat
