67.69/71.05	unsat
