69.78/71.65	unsat
