11.39/13.78	unsat
