70.19/74.76	unsat
