11.47/14.85	unsat
