10.47/10.60	unsat
