492.74/493.40	unsat
