66.70/70.23	unsat
