70.33/74.19	unsat
