11.39/14.58	unsat
