1016.14/1017.60	unsat
