67.18/67.59	unsat
