929.81/1047.60	unsat
