67.22/68.76	unsat
