493.93/497.41	unsat
