11.49/13.78	unsat
