67.06/67.56	unsat
