525.07/529.18	unsat
