906.62/909.43	unsat
