598.12/600.04	unsat
