64.51/70.49	unsat
