492.98/494.13	unsat
