805.48/808.73	unsat
