747.42/750.42	unsat
