599.71/603.05	unsat
