529.34/529.93	unsat
