492.00/495.89	unsat
