69.09/74.84	unsat
