14.39/15.60	unsat
