67.06/67.38	unsat
