69.32/71.84	unsat
