495.71/497.39	unsat
