67.82/71.45	unsat
