11.37/13.82	unsat
