526.19/529.66	unsat
