799.69/805.33	unsat
