993.80/995.83	unsat
