69.75/71.85	unsat
