600.02/603.48	unsat
