69.62/74.24	unsat
