10.94/12.52	unsat
