67.76/68.76	unsat
