603.26/606.98	unsat
