494.53/495.00	unsat
