496.50/497.71	unsat
