68.69/73.05	unsat
